Formal Methods for Communication Services
نویسنده
چکیده
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey, the results reported in the literature and most importantly, on extensive discussions with industry, we investigate important industrial concerns and criticisms about the use of formal methods for the development of communication services. We report on a collaborative project between the Swiss Federal Institute of Technology in Lausanne, Swisscom, Alcatel and Thomson in which these industrial concerns have been taken into account from the very beginning. The results of this project are currently being integrated into an industrial software development platform.
منابع مشابه
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and criticisms about the use of formal methods ...
متن کاملSocial Accountability in Maternal Health Services in the Far-Western Development Region in Nepal: An Exploratory Study
Background Social accountability or citizen-led accountability has been promoted in many low- and middle-income countries to improve the quality, access to and use of maternal health services. Experiences with social accountability in maternal health services in Nepal have not yet been documented. This study identifies existing social accountability structures and activities in maternal h...
متن کاملAssociations between sexual and reproductive health communication and health service use among U.S. adolescent women.
CONTEXT An understanding of the association between adolescents' sexual and reproductive health knowledge and their use of relevant services is needed to improve young people's sexual and reproductive health. METHODS Data from the National Survey of Family Growth were used to examine associations between sexual and reproductive health communication (parental and formal) and service use among ...
متن کاملElectronic Non Formal Education: A Case Study of Tehran Municipality
Considering the emergence of brand-new educational needs, non-formal education as a prerequisite of a knowledge-based society is increasingly going popular among nations in view of its continual nature. However, life-long learning as a key concept of the modern education system stands clearly at odds with traditional learning in every way of philosophy, objectives,...
متن کاملSmart Services for Knowledge Integration - ontologiebasierte Dienste zur Unterstützung der kollaborativen Wissensarbeit in Innovationsnetzwerken
In course of the European project AVALON, highly innovative ontology-based services (Smart Services) for supporting collaboration in knowledge-intensive industrial innovation networks (Smart Networks) were defined and prototypically implemented. Due to the immanent complexity of the general innovation problem in networks, Smart Networks are facing multi-level (1) knowledge integration, (2) netw...
متن کامل